And these [are they] whom David set over the service of song in the house of the LORD, after that the ark had rest.